| contributor | ISTE, Programmiersprachen und Übersetzerbau | ||||||||||||||
| creator |
Leske, Thomas
| date |
2008-09-26
| description |
42 pages
|
Herkömmlich kombiniert man die Zeigeranalyse mit der Analyse
gültiger Definitionen, indem man beide entweder in Phasen
nacheinander ausführt oder beide von vornherein zusammen als eine
Superanalyse erstellt -- in diesem Fall eine fluss-sensitive
Zeigeranalyse. Das phasenweise Vorgehen führt zu einer guten
Kapselung der Einzelanalysen, aber die Genauigkeit der Ergebnisse
kann leiden. Eine optimistisch kombinierte Analyse verbindet die
Vorteile beider Ansätze miteinander. Sie führt eine gemeinsame
Fixpunktiteration durch, wobei die Einzelanalysen den Wegfall ihrer
optimistischen Annahmen untereinander kommunizieren und das eigene
Analyseproblem entsprechend anpassen. Um den Speicherbedarf für
Zeigerzielmengen klein zu halten, müssen die Einzelanalysen
aufeinander abgestimmt werden. Weitere Einsparungen können von
einer bedarfsgesteuerten Berechnung und einer Bündelung durch
virtuelle Parameter erwartet werden. Letztere repräsentieren
Zugriffspfade auf den ursprünglichen Parametern. Die simulierte
Ausführung (Lundberg u. Löwe 2007) kann in korrigierter und
angepasster Fassung zwar keine direkte Speichereinsparung erzielen
aber eine opportunistische Kontextsensitivität. Ein Entwurf der
kombinierten Analyse wird vorgestellt.
| format |
application/pdf
| 386847 Bytes | |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-2737&engl=1 |
| language | ger |
| publisher | Stuttgart, Germany, Universität Stuttgart |
| relation | Diploma Thesis No. 2737 |
| source | ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2737/DIP-2737.pdf |
| subject | Software Engineering Distribution, Maintenance, and Enhancement (CR D.2.7) |
| Programming Languages Processors (CR D.3.4) | |
| Data Storage Representations (CR E.2) | |
| Semantics of Programming Languages (CR F.3.2) | |
| title | Kombinierte statische Analysen |
| type | Text |
| Diploma Thesis |